Impredicative Type
https://zehnpaard.hatenablog.com/entry/2022/02/22/085153
TaPL
23章